Reduzibilitätsaxiom

Reduzibilitäts|axiom,

 

eines der Axiome, die von A. N. Whitehead und B. Russell in den »Principia Mathematica« (3 Bände, 1910-13) benutzt wurden, um unter Voraussetzung der verzweigten Typentheorie die Mathematik aufbauen zu können. Das Reduzibilitätsaxiom erlaubt, innerhalb eines Typus von einer Aussageform höherer Ordnung zu einer solchen der ersten Ordnung überzugehen. Die verzweigte Typentheorie wurde später von Russell aufgegeben, weil sie dank des Reduzibilitätsaxioms mit einer einfachen, von F. P. Ramsey vorgeschlagenen Typentheorie im Wesentlichen äquivalent ist.